TSTP Solution File: DAT183^1 by Nitpick---2016